update debian/etc/mysql-my.cnf: fix option name