update for ghc-7.6.3, cabal-install-1.16 and new platfroms