Update premake4 for Mac OS X;