Some code to make GTK work in the OSX deployment