Makefile~
there is a bug when we navigate an exp_declaration