Must build plt before calling dialyze