use more php versions