Fixes to symbol-server cache trimming
Fixes to symbol-server cache trimming

Files ending with _ should be deleted, and empty directories should be
deleted. Previously empty directories would trigger the misleading
file/directory mismatch message.

Also the printing of that message would reference a variable which was
not up to date and might not even exist. Fixed.

randomascii/tools,randomascii/tools,randomascii/tools