BUILD: try to fix jenkins + 3.12