Fix handling of conflicting directories

We can safely ignore them in the propagator