[Tutti-commits] Jenkins build is still unstable: tutti #727