Recipe for constructing primbin16.out, taken from Piet's e-mail of 22 Dec 2000. Use as in make -f primbin16.mk