updated ExtractPath, updated STORMfinder to use new ExtractPath