testbench: add missing file