fixes to library names