Fix alt-ergo compile command