tweaking the routine that checks for Gringo and Clasp version