Add support for linux 64bit