Also test on MySQL

Fixes #5