remove old Xinu headers