fix of a bug in 'ExtractUntil.py', modification of the script for them to work both on linux and windows