Using precompiled 32bit version of CMake 2.8.12.1 to speed up testing