idgames_sync.pl: renamed debug counter to $debug_counter