makes update_ctags more verbose