Is this related to the latest Poly/ML changes? The "slow" job still runs on the x86_64 platform. Last time it worked was 76fbd806ebc5. Hardware is 8-core LRZ VM. https://ci.isabelle.systems/jenkins/job/isabelle-nightly-slow/1010/consoleFull