make the travis old php version happy