rebuild "verit" for arm64-linux for more robustness, e.g. relevant for theory "HOL-ex.BigO";
uniform baseline for "linux" and "linux_arm";