Delete wfc_util_fctrl.c