Don't fall back to w3counter by default

Fixes #82.