Attempt to fix hhvm build on travis

https://github.com/goetas/html5-php/commit/f902b05cc252721e5440f3437d0c5de3e0a8d789#diff-98c12a693941ae3c4f50872403416471R10
Merge branch 'develop' of github.com:blongden/hal into develop