Added, but disabled version printing argument (because it gets in the
way of the other things being the first printed line (which is
important for most uses).