better generation of vi ctags in ghci