version command for ghc-mod/ghc-modi.