topo_installation -c shouldn't fail if rmdir fails