Extend wvtool