Fix HHVM's patch based on version 2.4.2

This fixes issue #51.
I simply updated the previous patch based on hhvm repository on tag `HHVM-2.4.2`.