update to 1.13.1 and cabal-install sandbox