fix download locations

compile.bash

@@ -2,7 +2,7 @@
 
 # get current kernel and realtime patch version
 VERSION=5.13
-FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/5.13/`
+FILE=`curl -s https://mirrors.edge.kernel.org/pub/linux/kernel/projects/rt/${VERSION}/`
 KERNEL=19
 RTPATCH=1
 echo "using kernel $VERSION.$KERNEL with realtime patch $RTPATCH"
@@ -15,17 +15,19 @@ KERNELFILE=linux-${VERSION}.${KERNEL}.tar
 KERNELFILEXZ=linux-${VERSION}.${KERNEL}.tar.xz
 KERNELSIGN=linux-${VERSION}.${KERNEL}.tar.sign
 PATCHURL=https://www.kernel.org/pub/linux/kernel/projects/rt/${VERSION}/
-PATCHFILE=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch
-PATCHFILEXZ=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.xz
-PATCHSIGN=patch-${VERSION}.${KERNEL}-rt${RTPATCH}.patch.sign
+PATCHFILE=patch-${VERSION}-rt${RTPATCH}.patch
+PATCHFILEXZ=patch-${VERSION}-rt${RTPATCH}.patch.xz
+PATCHSIGN=patch-${VERSION}-rt${RTPATCH}.patch.sign
 
 # download kernel
 
-echo "downloading kernel from ${PATCHURL}${PATCHFILE}"
+echo "downloading kernel from ${KERNELURL}${KERNELFILEXZ}"
 curl -SLO ${KERNELURL}${KERNELFILEXZ}
+echo "downloading kernel signature from ${KERNELURL}${KERNELSIGN}"
 curl -SLO ${KERNELURL}${KERNELSIGN}
-echo "downloading patch from ${PATCHURL}${PATCHSIGN}"
+echo "downloading patch file from ${PATCHURL}${PATCHFILEXZ}"
 curl -sLO ${PATCHURL}${PATCHFILEXZ}
+echo "downloading patch signature from ${PATCHURL}${PATCHSIGN}"
 curl -sLO ${PATCHURL}${PATCHSIGN}
 
 # unzip kernel (required for verification)