Correct libgtk filename for OS X