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