Revert "gmp: Use version 6 as the default"

This reverts commit 370fc79b, because it causes
trouble on both Linux and Darwin, and we probably shouldn't have to worry about
that kind of stuff right now with the 15.06 release being late'ish already.