benchmark_os.sh tested. Ready to use
Merge branch 'master' of ssh://radargun-cloudtm.example.com/~/git/radargun
Merge branch 'master' of ssh://radargun-cloudtm.example.com/~/git/radargun
Merge branch 'master' of ssh://radargun-cloudtm.example.com/~/git/radargun
Merge branch 'master' of ssh://radargun-cloudtm.example.com/~/git/radargun
Merge branch 'master' of ssh://radargun-cloudtm.example.com/~/git/radargun