Also test HHVM and PHP 5.6