Improved portability with respect to 64bit machines.