Add a Bugzilla ticket number for shared libraries handling patches, too.