Add missing database option to mysql-tools.