Fix pdiff port

See #191