Stop make complaining about moved/deleted headers