some weird header file warnings