Fix a broken invariant
drwxr-xr-x - libraries