Fixed mistake in platform detection for benchmarks.