- Add `--disable-silent-rules' option to CONFIGURE_ARGS to help debugging - Simplify `tests' target and rename to our more standard `regression-test'