Fix ice in scripts/patch_maker.sh