Artifacts of SLAstic-nightly-release #3096