[Bug 1375825] ghc-webkit must not depend on webkitgtk