diff --git a/.github/workflows/vinix-kernel.yml b/.github/workflows/vinix-kernel.yml
index 1105797199..ca94a74694 100644
--- a/.github/workflows/vinix-kernel.yml
+++ b/.github/workflows/vinix-kernel.yml
@@ -15,23 +15,20 @@ jobs:
     runs-on: ubuntu-20.04
     steps:
       - uses: actions/checkout@v2
+
       - name: Install dependencies
         run: |
           sudo apt-get update
           sudo apt-get install build-essential meson -y
+
       - name: Build V
         run: make
+
       - name: Clone current Vinix
-        run: |
-          git clone https://github.com/vlang/vinix
-          cd vinix && git checkout aa18fc0
-      - name: Clone current mlibc
-        run: git clone https://github.com/managarm/mlibc.git --depth=1
-      - name: Patch mlibc for Vinix
-        run: cd mlibc && patch -p1 < ../vinix/patches/mlibc/0001-Vinix-specific-changes.patch || true
-      - name: Install mlibc headers
-        run: mkdir mlibc-build && cd mlibc-build && meson --cross-file ../vinix/cross_file.txt --prefix=/ -Dheaders_only=true ../mlibc && ninja && mkdir ../mlibc-headers && DESTDIR=`realpath ../mlibc-headers` ninja install
+        run: git clone https://github.com/vlang/vinix.git
+
       - name: Attempt to build the Vinix kernel (debug)
-        run: cd vinix/kernel && make PROD=false CFLAGS="-D__vinix__ -O2 -g -pipe -I../../mlibc-headers/include" V="../../v" && make clean
+        run: cd vinix/kernel && make PROD=false CFLAGS="-D__vinix__ -O2 -g -pipe" V="../../v" && make clean
+
       - name: Attempt to build the Vinix kernel (prod)
-        run: cd vinix/kernel && make PROD=true  CFLAGS="-D__vinix__ -O2 -g -pipe -I../../mlibc-headers/include" V="../../v" && make clean
+        run: cd vinix/kernel && make PROD=true CFLAGS="-D__vinix__ -O2 -g -pipe" V="../../v" && make clean