Globally_hyperbolic_manifold loading ...