[Wikitty-build] Jenkins build is still unstable: wikitty-ci #15-develop