Artifacts of SLAstic-nightly-release #2945