Changed numeration of patches using autonum-patches.sh