various cmd.exe customizations I may find useful later