../../mips32/include/config.h