Make install of Mysql-server  switchable