--- CMakeLists.txt.orig	2021-06-03 11:56:00.000000000 -0600
+++ CMakeLists.txt	2021-06-03 11:56:50.000000000 -0600
@@ -876,12 +876,6 @@
 find_package(
   Z3
   CONFIG
-    NO_CMAKE_PATH
-    NO_CMAKE_ENVIRONMENT_PATH
-    NO_SYSTEM_ENVIRONMENT_PATH
-    NO_CMAKE_PACKAGE_REGISTRY
-    NO_CMAKE_SYSTEM_PATH
-    NO_CMAKE_SYSTEM_PACKAGE_REGISTRY
     PATHS
       ${CMAKE_SOURCE_DIR}/z3/build/
 )
@@ -1010,7 +1004,7 @@
 else()
   set(VAMPIRE_BINARY_BUILD "_${CMAKE_BUILD_TYPE}")
 endif()
-set(VAMPIRE_BINARY "vampire${VAMPIRE_BINARY_Z3}${VAMPIRE_BINARY_BUILD}${VAMPIRE_BINARY_STATIC}${VAMPIRE_BINARY_BRANCH}${VAMPIRE_BINARY_REV_COUNT}")
+set(VAMPIRE_BINARY "vampire")
 message(STATUS "Setting binary name to '${VAMPIRE_BINARY}'")
 
 ################################################################