Changes the header extension in premake.