Switch --platform flag to BuildProjects.lua

The --platform flag to premake4 was still producing makefiles that compiled 64-bit binaries.