Dump the update number to stdout to aid debugging.