Use wvtool instead of wvtestrun for testing