diff --git a/.github/workflows/build-windows-selfhosted.yml b/.github/workflows/build-windows-selfhosted.yml
index ea50405682b..0a9cc612355 100644
--- a/.github/workflows/build-windows-selfhosted.yml
+++ b/.github/workflows/build-windows-selfhosted.yml
@@ -20,7 +20,7 @@ jobs:
     steps:
       - name: clean
         shell: C:\cygwin64\bin\bash.exe --login '{0}'
-        run: cd $GITHUB_WORKSPACE && ls -lR && rm -vrf ./fstar && echo "There is a CR at the end of this line"
+        run: cd $GITHUB_WORKSPACE && ls -lR && rm -vrf fstar && echo "There is a CR at the end of this line"
         # ^ remove the directory where the package extracts to and builds,
         # all files from previous runs remain the runner's working directory
         # otherwise.