Remove some generated files...