... to catch cases where the wrong version of libnormaliz is loaded/linked. Requires https://github.com/Normaliz/Normaliz/pull/396