gruel: wrong PMT install directory slipped back in.