Change to https protocol. My university blocks git port.
Update submodules.
Added C-c C-f to toggle flymake-mode.