Fix OSX launch script for the gui