switch to mysql, fixes #5