Add platform specific configuration for benchmark.py #14