Add support for Linux 64 bits