Prevent gnome-autogen.sh from overwriting custom INSTALL file