added 64bit premake binary