Revert "tring to remove some auto-generated files"

This reverts commit 862c04b449aeccc27228940787c42d0b6d0208c0.