Makefile: add Minix configuration options.