MEDIUM / Fix a jenkins build problem