diff --git a/bundled/libnormaliz/support/configure.pl b/bundled/libnormaliz/support/configure.pl
index 646b9ea590..3adf71f9ea 100644
--- a/bundled/libnormaliz/support/configure.pl
+++ b/bundled/libnormaliz/support/configure.pl
@@ -61,7 +61,7 @@ int main() {
    if (defined ($nmz_path=$options->{libnormaliz}) and $nmz_path ne "bundled") {
       my $nmz_inc="$nmz_path/include";
       my $nmz_lib=Polymake::Configure::get_libdir($nmz_path, "normaliz");
-      if (-f "$nmz_inc/libnormaliz/libnormaliz.h" && -f "$nmz_lib/libnormaliz.$Config::Config{so}" ) {
+      if (-f "$nmz_inc/libnormaliz/libnormaliz.h" && (-f "$nmz_lib/libnormaliz.$Config::Config{so}" || -f "$nmz_lib/libnormaliz.a" ) ) {
          $CXXFLAGS = "-I$nmz_inc";
          $LDFLAGS = "-L$nmz_lib -Wl,-rpath,$nmz_lib";
       } else {
@@ -84,6 +84,9 @@ int main (int argc, char *argv[])
 #endif
 #ifdef NMZ_FLINT
    std::cout << " -lflint";
+#endif
+#ifdef NMZ_NAUTY
+   std::cout << " -lnauty";
 #endif
    std::cout << std::endl;
    return 0;