diff --git a/CMakeLists.txt b/CMakeLists.txt
index a1f8570..9af9741 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -56,11 +56,11 @@ if(NOT ARCH_ID)
   if(CMAKE_SYSTEM_PROCESSOR STREQUAL "")
     set(CMAKE_SYSTEM_PROCESSOR ${CMAKE_HOST_SYSTEM_PROCESSOR})
   endif()
-  set(ARCH_ID "${CMAKE_SYSTEM_PROCESSOR}")
+  string(TOLOWER "${CMAKE_SYSTEM_PROCESSOR}" ARCH_ID)
 endif()
 
 if(NOT ARM_ID)
-  string(TOLOWER "${ARCH_ID}" ARM_ID)
+  set(ARM_ID "${ARCH_ID}")
 endif()
 
 if(NOT ARCH)
diff --git a/src/intrin_portable.h b/src/intrin_portable.h
index c74eae2..b4f1b50 100644
--- a/src/intrin_portable.h
+++ b/src/intrin_portable.h
@@ -587,6 +587,8 @@ void rx_set_rounding_mode(uint32_t mode);
 #ifndef HAVE_AES
 static const char* platformError = "Platform doesn't support hardware AES";
 
+#include <stdexcept>
+
 FORCE_INLINE rx_vec_i128 rx_aesenc_vec_i128(rx_vec_i128 v, rx_vec_i128 rkey) {
 	throw std::runtime_error(platformError);
 }