build_inf_prepare_jenkins: fix the dir creation

No match.