fix use of CMAKE_SYSTEM_PROCESSOR