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