[Wikitty-build] Jenkins build is still unstable: wikitty-ci #40-origin/develop