linux lib or lib64