Travis test with hhvm and php 5.6