diff --git a/resources/3rdparty/CMakeLists.txt b/resources/3rdparty/CMakeLists.txt
index cb7e064ec..f5606a095 100644
--- a/resources/3rdparty/CMakeLists.txt
+++ b/resources/3rdparty/CMakeLists.txt
@@ -27,6 +27,7 @@ ExternalProject_Get_Property(l3pp_ext source_dir)
 set(l3pp_INCLUDE "${source_dir}/")
 add_imported_library_interface(l3pp "${l3pp_INCLUDE}")
 list(APPEND STORM_DEP_TARGETS l3pp)
+add_dependencies(l3pp l3pp_ext)
 
 #############################################################
 ##
diff --git a/src/storm/utility/constants.cpp b/src/storm/utility/constants.cpp
index fac7bea78..ba6f751b7 100644
--- a/src/storm/utility/constants.cpp
+++ b/src/storm/utility/constants.cpp
@@ -497,7 +497,7 @@ namespace storm {
         }
 
         template<>
-        GmpRationalNumber convertNumber(uint_fast64_t const& number){
+        GmpRationalNumber convertNumber(unsigned long long const& number){
             STORM_LOG_ASSERT(static_cast<carl::uint>(number) == number, "Rationalizing failed, because the number is too large.");
             return carl::rationalize<GmpRationalNumber>(static_cast<carl::uint>(number));
         }