Display the same version number on Linux and Windows to avoid confusions