ghc-head: update to version 7.7.20130816