Need to back off of stripping filename extensions from trepan.pl.