Attempt to make hhvm play nicely