diff --git a/test/CMakeLists.txt b/test/CMakeLists.txt
index 255218c15..cc7a61bae 100644
--- a/test/CMakeLists.txt
+++ b/test/CMakeLists.txt
@@ -1,5 +1,5 @@
 set(sources
-    boostTest.cpp
+    soltest.cpp
     Common.cpp
     Common.h
     CommonSyntaxTest.cpp
diff --git a/test/boostTest.cpp b/test/soltest.cpp
similarity index 100%
rename from test/boostTest.cpp
rename to test/soltest.cpp
diff --git a/test/tools/isoltest.cpp b/test/tools/isoltest.cpp
index 6e00b12d6..cb7ab1eb5 100644
--- a/test/tools/isoltest.cpp
+++ b/test/tools/isoltest.cpp
@@ -509,6 +509,11 @@ int main(int argc, char const *argv[])
 		cerr << exception.what() << endl;
 		return EXIT_FAILURE;
 	}
+	catch (solidity::test::ConfigException const& exception)
+	{
+		cerr << exception.what() << endl;
+		return EXIT_FAILURE;
+	}
 	catch (...)
 	{
 		cerr << "Unhandled exception caught." << endl;