normal update-patches filenames. This avoids update-patches picking up the .orig files in PHP distfiles and make it easier to keep in-sync. ok robert@