INST: updated version.txt