Additional PDDL files