Fixing lib64 bug