Test in some additional PHP versions