diff --git a/Test/VeriFast/tasks/vTaskSwitchContext/start-vfide--preprocessed.sh b/Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh
similarity index 100%
rename from Test/VeriFast/tasks/vTaskSwitchContext/start-vfide--preprocessed.sh
rename to Test/VeriFast/tasks/vTaskSwitchContext/start-vfide.sh