Try hhvm on php53 version, see if that's the problem