Couldn't find those `.bin.gz` files that are mentioned by the documentation in the linked url. Did the extension changed or are the VM ready images hosted elsewhere?