Fix version numbers for installation in INSTALL, README, votl.txt