(DIR) pgfiledump