Fix Makefile. Add comment to explain how WITH_ flags work.