Try HHVM nightly since 3.1 has regressions.

Refs: https://github.com/phpspec/prophecy/pull/109#issuecomment-47456607