Added missing flags for ghc-modi browse.