wmtime: Use rm -f in make clean.