Это, возможно, менее "чистый" способ определения, какая версия Dolphin у вас установлена, но он решает проблему с тем, что одна версия казалась неизменной в течение восьми лет, как это было с Dolphin 5.0 (она, конечно, не оставалась неизменной, но бета-версии, выпущенные с тех пор, никогда не считались полными релизами).