Better test for PHP version

- version_compare understands comparing minor versions, fortunately;
  fixes issue with bad comparisons in 5.5 vs 5.4.