[FIX] 64 bits