* Fix kernel loading in vecadd benchmark