vga modes aren't deprecated anymore
use -ctags so we don't actually need ctags