Use an underlying fstream instead of a FILE* for PBPReader