No matches were found for subject:"\[CMake\] how to compile as 32bit on a 64bit Linux host \?"