Fix Vinyl version in tests/benchmarks