A fix to the build and the jump-to-definition feature. Fixes #544, fixes #633

In Eclipse it's F3, in Intellij it's Control-B (I think), in vim go to tag is Control-], visual studio seems to be F12.  So I don't think there's a standard.

How have we decided such UI things in the past?  Just whimsy of the implementer?