py-benchexec is a stub port
