Change variable name in config.distrib.php for change to supporting multi DBMS's