Navigator: Avoid exceptions if ctags is missing