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

Fixes #544, fixes #633
Should I make another event to say the procedure has been found and let the Tabs handle this and switch tabs?