Ah, found it!

use File::Basename;
my $infile=$ARGV[0];
my $filename = basename($infile,  ".top");
[download]

:)