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