Fix makefile so dialyze can run