for 32bit machines