Fix to not install mysql twice.