make everything work on 32-bits systems
merge with 32bits code