Because Keil MDK leaks some system header file, we put them in here.