The godot-headers repository will eventually be updated to latest master but for now use this hardcoded copy.
godot-headers