Bugfix: impossible to override $db_socket_file