Upstream has fixed the splash screen graphic in 1.9.93 so it no longer says "1.7 RC1." However, there is no point doing an upload of 1.9.93 until we have a fix for #795196, which is a nasty bug in the CPU emulator that probably renders *all* games unplayable on amd64 with kernel >=4.1.0.