Add Haskell to the PATH
Revert to old push setting so that Gitbox can still work