NTL: link against <#> GMP