intro_to_command_line: Fix pwd command for Windows