Java support and big history-limit in tmux and stricter ghc-compiler options