rrmdir in DanFun