fix jenkins build errors

@karlitschek @MorrisJobke @DeepDiver1975