[console_scripts]
runexec = benchexec.runexecutor:main

