Update rt_linux.c