changed dump_vectors command line option