Actually use services.mysql.port

Fixes #1315