[jvink]

Thanks.

I agree the BENCHMARK build option is a bit confusing. I might end up renaming it altogether.

[jvink]

For sanity sake, this build option is now NOTLS.