Don't need genfiles.properties in the repo (commit revert)