Another tentative HHVM fix