Simple benchmark across php versions and hhvm