ghc-head: update to version 7.7.20130811