Compact_Riemann_surface loading ...