Update example command lines so they work in Windows cmd shell, too