[Pharo-dev] Jenkins CI error