pp-sed: does not replace file when no change.