. is a copy of the engine dir of https://gitlab.laas.fr/pehladik/hippo.git
