Installing mysql-server from REMI