[gmp] Make sure it finds the correct platform type
[nettle] Set include paths