Run distclean in `gmp` directory; switching platforms can cause build failures if only `make clean` is performed.