* do we need to keep the collisions/ directory after a remove?
