Fixup: Stubs: Missing headers