upgrading to ghci-7.6.3