Should this file be in git since it's generated?