fix a problem with the Benchmark package

"sysctl" exists under linux and Mac OS X, but
let's use /proc under linux, instead