These object files should always be generated, not stored in the repo