mention mysql not being supported in config.php-dist