mettre à jour pgadmin3 1.16 vers 1.18

Je suis sous Ubuntu 13.04 et j'ai installé pgadmin3 1.16.

J'ai téléchargé pgadmin3-1.18.1.tar.gz à partir de http://www.postgresql.org/ftp/pgadmin3/release/v1.18.1/src/

J'ai suivi toutes les instructions figurant dans le fichier INSTALL et make install a semblé fonctionner correctement. Le problème est que lorsque j'essaie d'exécuter pgadmin3, il ouvre toujours la version 1.16.

J'ai essayé de désinstaller la version 1.16 et de réinstaller la version 1.18, mais je n'arrive même pas à trouver l'exécutable.

Je pense que la version 1.18 est installée, comment/où puis-je la trouver ? ou sinon, comment puis-je mettre à jour la version 1.16 vers la version 1.18 ?

merci !

EDITAR

les commandes que j'ai exécutées sont les suivantes :

1. extrait de Comment mettre à jour pgadmin3 vers la version 1.14 ? と http://linuxrails.blogspot.co.il/2012/09/install-pgadmin-for-postgresql-92-on.html

   • sudo apt-get remove pgadmin3
   • sudo apt-add-repository ppa:voronov84/andreyv
   • sudo apt-get update
   • sudo apt-get install pgadmin3

2. de pgadmin3-1.18.1/INSTALL

   • sudo apt-get remove pgadmin3
   • tar xvfz pgadmin3-1.18.1.tar.gz
   • cd pgadmin3-1.18.1
   • ./configure
   • faire tous
   • sudo make install