if ($UID != $EUID) {
  $UID=$EUID;
  exec($0, @ARGV);
  die $!;
}