Delete wfc_util_fctrl.h