> That doesn't work - it just changes the original "rm" to "/bin/rm" which > then fails (as per my other email). I thought ${RM} was rm -rf but this does not seem to be the case. Even if it was, specifying -f twice is harmless, so go for it.