gringo: added additional dependencies