databases/mysql51-server: Fix