add missing SDK headers