Require wstools 0.4; 0.4.1 is busted.