[ci] php binary path