[Bug 1060011] ghc-webkit-0.12.5.3 is available