added elab_spec to cakeml_compute