Fix generation of tags files with some ctags versions