Also test on php 5.3 and hhvm