Snippets for accerciser 3.48.0 from Nix aarch64-linux

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