Issue #1556160: rmdir should refuse to delete the directory when it is not empty