bash_* still can't access on_deb and on_osx; test a fix.