Update linux32.cmake