Fixed a bug in zsh.install_theme that did not replaced themes with numbers