Fix Win32 shell colorisation (reported by J.R. Mash)
Remove unused code
Prevent possible warning