Vectorizer: change filename of generated sequence files