fix 4.00.1 compilation error on ppl