Per compilare le gtk patchate, io ho usato apt-build.  Mi sembra una valida soluzione, veloce e, soprattutto, non da problemi, in genere. 

per prima cosa scarichiamo apt- build con: 

sudo apt-get install apt-build

Dopodichè bisogna scaricare i sorgenti dei pacchetti da patchare, in questo caso le gtk2.0. Quindi eseguiamo:

sudo apt-build source libgtk2.0-0 

Dopodichè bisogna aggiungere la patch alla cartella delle patch delle gtk. Quindi scarichiamola da qui e copiamola (nel mio caso l'avevo scaricata in home).

sudo cp ~/099_mac_menubar.patch /var/cache/apt-build/build/gtk+2.0-2.12.0/debian/patches/ 

Quindi, aggiungiamola all'elenco delle patch da applicare:

sudo echo "099_mac_menubar.patch" >> /var/cache/apt-build/build/gtk+2.0-2.12.0/debian/patches/series

E come ultimo step compiliamo i sorgenti:

sudo apt-build install libgtk2.0-0 

Questo comando prenderà un po' di tempo, ma comunque non dovrebbe dare errori.

Una volta finita la compilazione, dovrebbe esserci un messaggio di aggiornamento dei pacchetti. Non dovete fare altro che aggiornare il sistema (da interfaccia grafica oppure da riga di comando con sudo apt-get upgrade), aggiungere l'applet alla barra dei menu, effettuare di nuovo il login ed è fatta

---