get alerta-riemann working