Make circle use latest php