Fix a wrong lib name