1. 2019-02-19 [6] not really a bug .. is there a way to set the host type in the Makefile. gmp-bugs Niels =?utf-8?Q?M=C3=