Index: liboqs-0.13.0/CMakeLists.txt
===================================================================
--- liboqs-0.13.0.orig/CMakeLists.txt
+++ liboqs-0.13.0/CMakeLists.txt
@@ -46,7 +46,7 @@ set(OQS_VERSION_MINOR 13)
 set(OQS_VERSION_PATCH 0)
 set(OQS_VERSION_PRE_RELEASE "")
 set(OQS_VERSION_TEXT "${OQS_VERSION_MAJOR}.${OQS_VERSION_MINOR}.${OQS_VERSION_PATCH}${OQS_VERSION_PRE_RELEASE}")
-set(OQS_COMPILE_BUILD_TARGET "${CMAKE_SYSTEM_PROCESSOR}-${CMAKE_HOST_SYSTEM}")
+set(OQS_COMPILE_BUILD_TARGET "${CMAKE_SYSTEM_PROCESSOR}-Linux-6.14.0-OBS")
 set(OQS_MINIMAL_GCC_VERSION "7.1.0")
 set(CMAKE_EXPORT_COMPILE_COMMANDS ON)