fix memory error on 64 bit linux