tests/run.scm still referred to obsolete test3 (thanks to Hugo Arregui)