Fixed: under windows, make the tags symbols case-insensitive when searching/deleting for symbols based on file-name
Fixed: wrong command generated for single file compilation (this is a regression introduced in previous commit)