--- configure.dt 2018-12-29 16:23:02.355271146 +0100 +++ configure 2018-12-29 16:23:21.644060142 +0100 @@ -23329,6 +23329,8 @@ if test $platform_win32 = yes then : + HAVE_VISIBILITY_TRUE='#' + HAVE_VISIBILITY_FALSE= else $as_nop