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

Is there any command jumping from the Command Center to the Code Tab so I can look at it?