these files aren't supposed to be checked in, but instead built by cran or developers