gitdir: ../../.git/modules/libs/lifted-pddl
