Actually make circle use latest php