diff --git a/compile.bash b/compile.bash
index 7b220506d53b097ee9f646fa1a141e46f990296c..86649edc3e7c726f2f584f158ce65c0d4333f92a 100755
--- a/compile.bash
+++ b/compile.bash
@@ -3,8 +3,8 @@
 # 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/`
-KERNEL=`echo $FILE | sed -n 's/.*patch-5.13.\(.*\)-rt.*.patch.gz.*/\1/p'`
-RTPATCH=`echo $FILE | sed -n 's/.*patch-5.13..*-rt\(.*\).patch.gz.*/\1/p'`
+KERNEL=19
+RTPATCH=1
 echo "using kernel $VERSION.$KERNEL with realtime patch $RTPATCH"
 
 # get kernel file names and location