print "Collected $file (rc=". (defined $rc?$rc:'undef') . ")\n";