problem with 32 and 64 bits