[ticket/12592] Make hhvm run MySQL again.

https://tracker.phpbb.com/browse/PHPBB3-12592