make testworks happy with C backend