(make clean to not fail if repeated)