Adding support for Linux 64 bits