Fix some non-dynamic version numbers