fix wrong values in version.txt after 15.0a1 bump