Mysql: add depexts (#1304)