diff --git a/gtk2_ardour/ardev b/gtk2_ardour/ardev
index aee9a48102..cbe16ac5a0 100755
--- a/gtk2_ardour/ardev
+++ b/gtk2_ardour/ardev
@@ -1,4 +1,6 @@
 #!/bin/sh
 . `dirname "$0"`/../build/gtk2_ardour/ardev_common_waf.sh
 LD_LIBRARY_PATH=/usr/local/lib:$LD_LIBRARY_PATH
+ldd $TOP/$EXECUTABLE | grep boost
+ldd $TOP/build/libs/ardour/libardour.so | grep boost
 exec $TOP/$EXECUTABLE "$@"
diff --git a/libs/pbd/base_ui.cc b/libs/pbd/base_ui.cc
index 6c21549e8b..31f956f4cf 100644
--- a/libs/pbd/base_ui.cc
+++ b/libs/pbd/base_ui.cc
@@ -97,7 +97,7 @@ BaseUI::run ()
 void
 BaseUI::quit ()
 {
-	if (_main_loop->is_running()) {
+	if (_main_loop && _main_loop->is_running()) {
 		_main_loop->quit ();
 		run_loop_thread->join ();
 	}