Fix a library name