benchmark.properties is used by default