remove files not necessarily necessary :-)