build automatically project PLT for `make dialyze`