A user of mysqlnavigator may be browsing a database on a remote server, thereby not needing it installed locally. Reproducible: Always
Except that it won't compile unless you install mysql locally. :)