fix library name

old one is awkward and doesn't match the actual name of the lib