Fix issue with PHP5.3, add HHVM to test suite