Fixed crash in 32 bit Ubuntu system (ubuntu-12.04.2-server-i386)