bugfix in the TPTP include directive