Removed mysql-server from debian tools