clean up printer header and fix premake script