Improving how the vectorizer and the downloader shut down execution
(thanks to George Orfanidis).