sophia: fix ctl.test.c