hhvm (older) version of synth-core