MySql Workbench per Ubuntu x64

Sul sito di download di mysql non esistono i binari a 64 bit del tool MySql Workbench. Per poter creare tale versione è necessario effettuare i passi seguenti:

1. Scaricare i sorgenti dal sito di download di mysql.
2. Seguire le istruzioni contenuti in questo post.

Istruzioni che riassumo di seguito.
Prima di tutto assicurarsi che siano soddisfatte tutti i prerequisiti:

sudo apt-get install build-essential autoconf automake libtool libzip-dev libxml2-dev libsigc++-2.0-dev libglade2-dev libgtkmm-2.4-dev libglu1-mesa-dev libgl1-mesa-glx mesa-common-dev libmysqlclient15-dev uuid-dev liblua5.1-dev libpixman-1-dev libpcre3-dev libgnome2-dev libgtk2.0-dev libpango1.0-dev libcairo2-dev

Creare una directory in cui destinare la build (io ho usato /home/temp/mysql-workbench)
Scompattare i sorgenti in una directory qualsiasi (io ho usato /home/temp/mysql)
Posizionarsi in tale directory
Eseguire ./autogen.sh
Eseguire make install DESTDIR=/home/temp/mysql-workbench
Se tutto va come deve, troverere i file definitivi in /home/temp/mysql-workbench/usr, posizionatevi in /home/temp/mysql-workbench/usr/local/bin e lanciate pure ./mysql.workbench.
Dopo aver verificato che è tutto ok, potete copiare il tutto in /usr/local con

sudo cp -R /home/temp/mysql-workbench/usr/local /usr/local

mysql, ubuntu, 64,