better support for 32bit linux