diff --git a/cmake/modules/FindDotNetToolchain.cmake b/cmake/modules/FindDotNetToolchain.cmake
index abc4ff21c..7f86534c3 100644
--- a/cmake/modules/FindDotNetToolchain.cmake
+++ b/cmake/modules/FindDotNetToolchain.cmake
@@ -39,7 +39,7 @@ if (DOTNET_CSC_EXECUTABLE)
       set(DOTNET_TOOLCHAIN_IS_WINDOWS TRUE)
       message(STATUS ".NET toolchain is Windows native")
     else()
-      message(STATUS ".NET toolchain is unknown")
+      message(STATUS ".NET toolchain is unknown: ${CSC_STD_OUT}")
     endif()
   endif()
 endif()
diff --git a/src/smt/theory_fpa.h b/src/smt/theory_fpa.h
index 8cd01d2e9..75bcec13c 100644
--- a/src/smt/theory_fpa.h
+++ b/src/smt/theory_fpa.h
@@ -62,7 +62,7 @@ namespace smt {
             return true;
         }
 
-        expr * get_fresh_value(sort * s) override { NOT_IMPLEMENTED_YET(); }
+        expr * get_fresh_value(sort * s) override { return get_some_value(s); }
         void register_value(expr * n) override { /* Ignore */ }
 
         app * mk_value(mpf const & x) {