fix library deduplication (fix #565)
Merge pull request #580 from ros/fix_library_deduplication

fix library deduplication (fix #565)