drop a part of misc/; notably cache/