makefiles linux 32bit: fix platform detection. Closes 1938

closes #1938