cat >make/config.txt <<! &&
	include make/unix.inc
	ALL_TARGETS := core core-headers $OPTS
	PREFIX = "$INSTALL_ROOT"/usr
!
make
