mysql.install: RHEL7 provides mariadb rather than mysql