disable wscons for a while.