modified:   mysql.sql
Fixes #1