fix jenkins debian10 (#3570)