Need newer minitest-red_green for CI to pass