Snippets for accerciser 3.48.0 from Nix x86_64-linux

Sourced from https://hydra.nixos.org/log/9mpvz6ky8i187rcwh2iqgyzl09xra31f-accerciser-3.48.0.drv.