The default make setup doesn't build spot files. Perhaps we can include the -annot option as a default compiler flag, which doesn't seem to hurt if you're not using an ocamlspotter version of ocaml, but makes it possible to jump to function definitions in core from user programs.