on clean, might as well remove other generated files too