build automatically project PLT for `make dialyze` (only first time when
file is missing)