fix another deprecated header