Fix version number retrieval for PHP versions before 5.5