Add leven to benchmark and other libraries