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

I chose D for definition, look like everything in the edit menu is Ctrl+something