bugfixed version of pbdumper
Sources exported with correct header