for use with 64 bits host