adding missing p2.inf