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

Fixes #544, fixes #633
I don't see any way of getting to the code tab without some interaction API to get the main code tab, probably we need some refactoring.