export the version number