Phasing out old premake4-based makefile