GEN: check in the autogenerated file to repo, for easier usability