Don't include benchmarks in distribution.
Not quite the right fix - will do this properly later.