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