Fix for the sed extra-ghci-libs hackery: some libs have '_' in their names
Fix for the sed extra-ghci-libs hackery: some libs have '_' in their names

gtk2hs/webkit,gtk2hs/webkit,gtk2hs/webkit,gtk2hs/vte,gtk2hs/gstreamer,gtk2hs/vte