Hack version number.