Proper include for PR*Library and friends