Whoops, we defined GMP_CC twice.