remove useless files from z3 copy