circleci: Actually build with in-tree GMP on Darwin

Authored by berdario on Nov 16 2018, 3:25 AM.