fix for 32 bits compilation