avoid using "git rm -f"

some versions of git exit with a non-zero error code when git-rm is
called with no arguments.