Fix mysql-community-server install (fixes #2)