fixed database name in ctrl_setup.php