test build under more recent PHP versions