(XDK) Remove xdk_ctx.c