hhvm: update to 3.1