Forgot to clean a few generated files.