tags-file-name is not used in my setup