No longer need to AOT-compile anything in riemann