Эти инструкции действительно работают - вы должны вставить дополнительный тег в файл конфигурации; это не для начала.
Я подозреваю, что причина, по которой они его оставляют, в том, чтобы люди могли его скачать. :)
Перед повторной попыткой установки вам, вероятно, потребуется снова запустить виртуальную машину в состоянии, в котором она никогда не была запущена, поэтому вам следует снова распаковать ее из загружаемых файлов.