These files are generated on compilation time, and are different for
each user, so there's no need for it to be in the repository