fix compilation error on 4.01.0