Fix for 32bit linux