Ignore failure of rmdir -- this used to work, but now the directory