[Pollen-devel] Jenkins build is still unstable: pollen #1176