FIX: ctags works again