added better filename printing for -v