On 9 February 2017 at 07:38, Dorien Herremans wrote: > > However, sudo port install gtk2+x11 doesn't seem to be valid. Maybe just a typo (space between the port name and option)? Mojca