sub new_filename {
    my ($name,$platform) = @_;
    $name =~ s/(\.[^.]+)$/$platform$1/
        or die "$name is an invalid patch name";
    $name;
}