mysql-test and mysql-test-run.pl