Hm, what's up with this:
misao:/space/hack/Pike/7.5/build% ls -l lib/modules/*Nettle* -rw-rw-r-- 1 marcus local 147 Feb 3 22:44 lib/modules/Nettle.pmod -rwxrwxr-x 1 marcus local 92147 Feb 3 22:44 lib/modules/___Nettle.somisao:/space/hack/Pike/7.5/build% ldd lib/modules/___Nettle.so libnettle.so.2 => /usr/lib/libnettle.so.2 (0x6ff97000) libc.so.6 => /lib/libc.so.6 (0x0fe80000) libgmp.so.3 => /usr/lib/libgmp.so.3 (0x6ff43000) /lib/ld.so.1 => /lib/ld.so.1 (0x08000000) misao:/space/hack/Pike/7.5/build% grep HAVE_LIBNETTLE post_modules/Nettle/nettle_config.h #define HAVE_LIBNETTLE 1 misao:/space/hack/Pike/7.5/build% make run_hilfe /space/hack/Pike/7.5/build/pike -DNOT_INSTALLED -DPRECOMPILED_SEARCH_MORE -m/space/hack/Pike/7.5/build/master.pike Pike v7.5 release 17 running Hilfe v3.5 (Incremental Pike Frontend)
indices(Nettle);
(1) Result: ({ })