DEBIAN: Update the patch files for version 0.7.2.