Update to use slugs version that outputs to .aut file, require it to use
"robotics semantics"