PHP5.6 hotswap for HHVM