Updated hhvm to version 2.4.2 (fixes #7)