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

is there a standard function key that is usually used for this? a little uncertain about using Command-D for it. it's similar to F1 which we gave a function key not an alphabetic shortcut.