prevent WriteMakefile from dying because of unknown keys