Rename the binary file premake4 to 42premake