getting rid of extraneous .asv files