Delete ctx_switch.c~