mysql: corrections for `mysql` sections in DB scripts