Some config to use both ctags and etags; what is this, africa?