1 files changed, 2 insertions, 0 deletions
diff --git a/libs/pbd/pbd.cc b/libs/pbd/pbd.cc
index 17d1588788..cf7e523349 100644
--- a/libs/pbd/pbd.cc
+++ b/libs/pbd/pbd.cc
@@ -34,6 +34,7 @@
 #include "pbd/error.h"
 #include "pbd/id.h"
 #include "pbd/enumwriter.h"
+#include "pbd/fpu.h"
 
 #ifdef PLATFORM_WINDOWS
 #include <winsock2.h>
@@ -111,4 +112,5 @@ PBD::cleanup ()
 #endif	
 
 	EnumWriter::destroy ();
+	FPU::destroy ();
 }