updated config.h to match my minix config.h