I wonder why these are in the config file. I know sys.types is totally messed up but AFAIR the linux version includes <bits/typesizes.h>. The way I handled the bits headers for the MIPS port is to declare them at the include location so I'd like to see this block in sys.types.