Use revision number in version string and banner