Hello, I want to have a SITL build with 32bit config. Is it possible to do so thru default.cmake configuration? Thanks!