64bit linux fix