Fixup version files/symlinks

Author: Matthias Koeppe

build/pkgs/sagelib/src/VERSION.txt

@@ -1 +1 @@
-../../../../src/package-version.txt
+../../../../src/VERSION.txt

src/bin/sage-update-version

@@ -36,7 +36,7 @@ SAGE_VERSION=`echo "$1" | sed 's/^sage-//'`
 SAGE_RELEASE_DATE=`date -u +'%Y-%m-%d'`
 SAGE_VERSION_BANNER="SageMath version $SAGE_VERSION, Release Date: $SAGE_RELEASE_DATE"
 
-echo $SAGE_VERSION | tee "$SAGE_SRC/bin/VERSION.txt" > "$SAGE_ROOT/build/pkgs/sagelib/package-version.txt"
+echo $SAGE_VERSION | tee "$SAGE_SRC/VERSION.txt" > "$SAGE_ROOT/build/pkgs/sagelib/package-version.txt"
 
 # Update Sage version file for Python in SAGE_SRC/sage
 cat <<EOF > "$SAGE_SRC/sage/version.py"
@@ -72,7 +72,7 @@ git commit -m "Updated SageMath version to $SAGE_VERSION" -- \
     "$SAGE_ROOT/VERSION.txt" \
     "$SAGE_ROOT/.zenodo.json" \
     "$SAGE_SRC/sage/version.py" \
-    "$SAGE_SRC/bin/VERSION.txt" \
+    "$SAGE_SRC/VERSION.txt" \
     "$SAGE_SRC/bin/sage-version.sh" \
     "$SAGE_ROOT/build/pkgs/configure/checksums.ini" \
     "$SAGE_ROOT/build/pkgs/configure/package-version.txt" \