Never mind about shlex.split(). Turns out I need 4 backslashes to get 2,
which become 1.