(this is a convenient place to put Make variables until we add a -D option to crunchgen). Approved-By: jordan