added benchmark.html to choose a preferred target