Issue 11. If ctags fails, try again with ctags-exuberant.