Modifying script running for being able to call clingcon