VM-BUG: vm.texinfo missing?