mozilla: update the version number