Comment 1 for bug 703230

In my case the directory was empty, and "rmdir" instead of "rm -f" would have fixed it.

It is more likely that "rm -rf" was meant to be used here.

I will investigate if I can find a reference to some bug about this and provide a proper fix for this here.