Topology with dynamical overlap fermions