$newname = "$CONSOLE_LOGFILE"."orig";
$cmd = "cp $CONSOLE_LOGFILE $newname"; 
system($cmd);