Executable for linux 64 bits