Se ha modificado el script que gestiona las VBoxMachines para usar zsh