,"winmm" /* for the threadDelay timer */
,"wsock32" /* for the linker */
#endif
-#ifdef USING_LIBBFD
+#if defined(DEBUG) && defined(HAVE_LIBBFD)
,"bfd", "iberty" /* for debugging */
#endif
-#ifdef THREADED_RTS
+#ifdef HAVE_LIBMINGWEX
+# ifndef INSTALLING /* Bundled Mingw is behind */
+ ,"mingwex"
+# endif
+#endif
+#if defined(THREADED_RTS) && !defined(mingw32_TARGET_OS)
,"pthread"
+# ifdef osf3_TARGET_OS
+ ,"exc"
+# endif
#endif
],