fix compilation errors on 32bits systems