Add minix3 version of config.mk