# convert VMS names like "FOO.C;1" to foo.c, reading the list of files
# from stdin/filenames
while (<>) {
	chop;
	$orig = $_;
	chop;chop;
	tr/[A-Z]/[a-z]/;
	$new = $_;
	print "rename $orig $new\n";
	die "cannot rename $orig to $new: $!" if !rename($orig, $new);
}