Clarify where the file 'ptfformat.h' can be found