Delete libwfs.def