As the original problem was caused by broken pdiff files on the official mirrors and the question surrounding the --pdiff option has now been resolved, I'm closing this report.
Cheers, FJP -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
