pushed the fix (s/cling/clingo)