diff --git a/src/debug.c b/src/debug.c
index 5f846df95c..bde5fb2599 100644
--- a/src/debug.c
+++ b/src/debug.c
@@ -71,4 +71,10 @@ void InstallBacktraceHandlers(void)
     signal(SIGFPE, BacktraceHandler);
 }
 
+#else
+
+void InstallBacktraceHandlers(void)
+{
+}
+
 #endif
diff --git a/src/debug.h b/src/debug.h
index 0e5190966d..1d682057c2 100644
--- a/src/debug.h
+++ b/src/debug.h
@@ -44,8 +44,6 @@
 #endif
 
 
-#if defined(HAVE_BACKTRACE) && defined(PRINT_BACKTRACE)
 void InstallBacktraceHandlers(void);
-#endif
 
 #endif
diff --git a/src/gap.c b/src/gap.c
index 982bec186a..f36de34eca 100644
--- a/src/gap.c
+++ b/src/gap.c
@@ -464,9 +464,7 @@ int realmain( int argc, char * argv[] )
 #if !defined(COMPILECYGWINDLL)
 int main ( int argc, char * argv[] )
 {
-#if defined(HAVE_BACKTRACE) && defined(PRINT_BACKTRACE)
   InstallBacktraceHandlers();
-#endif
 
 #ifdef HPCGAP
   RunThreadedMain(realmain, argc, argv);