Fix Mac launcher. See: http://stackoverflow.com/a/9660103