Move to the new premake format