not using the actual version number, due to particular treatment of firefox on android