This should never have worked on php.

But it's fixed now anyway, and works for hhvm as well.