webkit-gtk2: don't use abbreviated name