Update patch-heartbleed.sh