Added file to be used with -exe option for verilator.