Fix (temporarily) what is run and when
Merge branch 'master' of https://github.com/softlab-ntua/bencherl