fix for a bug (previously --dbms="mysql 4" was ignored and abruptly terminated while the mechanism was here all along)