grazie, funziona. l'ho trovato nella mia home, nella cartella da cui avevo lanciato la compilazione.

Quasi quasi lo disinstallo e lo reinstallo da una cartella più opportuna, magari in /usr