Adjust DestFile in ReverifyAfterIMS() to not include compr Extension