better fix for deprecated header warnings