Add ghc-modi executable to settings