Fix HTML/PY conversion with zsh