Fix for 32bit machines