rebuild bash_process executables on current reference platforms, including native arm64-darwin;
enforce rebuild of Isabelle/Scala + Isabelle/ML;