checking in 64 bit linux library