Make the dialyze target in the makefile work again.