HEAD: must build wvtestmain.o by default.