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

hmm... shouldn't this also work when used in the Command Center?