php 5.6 and hhvm