diff --git a/GI/JavaScriptCore.hs b/GI/JavaScriptCore.hs
--- a/GI/JavaScriptCore.hs
+++ b/GI/JavaScriptCore.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -10,6 +11,10 @@
     module GI.JavaScriptCore.Structs        ,
 
 
+
+    module Data.GI.Base                     ,
+
+
     ) where
 
 import GI.JavaScriptCore.Callbacks
@@ -25,4 +30,5 @@
 import GI.JavaScriptCore.Types
 import GI.JavaScriptCore.Callbacks
 
+import Data.GI.Base
 
diff --git a/GI/JavaScriptCore/Callbacks.hs b/GI/JavaScriptCore/Callbacks.hs
--- a/GI/JavaScriptCore/Callbacks.hs
+++ b/GI/JavaScriptCore/Callbacks.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
diff --git a/GI/JavaScriptCore/Structs.hs b/GI/JavaScriptCore/Structs.hs
--- a/GI/JavaScriptCore/Structs.hs
+++ b/GI/JavaScriptCore/Structs.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
diff --git a/GI/JavaScriptCore/Structs/GlobalContext.hs b/GI/JavaScriptCore/Structs/GlobalContext.hs
--- a/GI/JavaScriptCore/Structs/GlobalContext.hs
+++ b/GI/JavaScriptCore/Structs/GlobalContext.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype GlobalContext = GlobalContext (ForeignPtr GlobalContext)
 noGlobalContext :: Maybe GlobalContext
 noGlobalContext = Nothing
+
+type family ResolveGlobalContextMethod (t :: Symbol) (o :: *) :: * where
+    ResolveGlobalContextMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveGlobalContextMethod t GlobalContext, MethodInfo info GlobalContext p) => IsLabelProxy t (GlobalContext -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveGlobalContextMethod t GlobalContext, MethodInfo info GlobalContext p) => IsLabel t (GlobalContext -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/GI/JavaScriptCore/Structs/Value.hs b/GI/JavaScriptCore/Structs/Value.hs
--- a/GI/JavaScriptCore/Structs/Value.hs
+++ b/GI/JavaScriptCore/Structs/Value.hs
@@ -1,4 +1,5 @@
 
+
 {- |
 Copyright  : Will Thompson, Iñaki García Etxebarria and Jonas Platte
 License    : LGPL-2.1
@@ -28,5 +29,16 @@
 newtype Value = Value (ForeignPtr Value)
 noValue :: Maybe Value
 noValue = Nothing
+
+type family ResolveValueMethod (t :: Symbol) (o :: *) :: * where
+    ResolveValueMethod l o = MethodResolutionFailed l o
+
+instance (info ~ ResolveValueMethod t Value, MethodInfo info Value p) => IsLabelProxy t (Value -> p) where
+    fromLabelProxy _ = overloadedMethod (MethodProxy :: MethodProxy info)
+
+#if MIN_VERSION_base(4,9,0)
+instance (info ~ ResolveValueMethod t Value, MethodInfo info Value p) => IsLabel t (Value -> p) where
+    fromLabel _ = overloadedMethod (MethodProxy :: MethodProxy info)
+#endif
 
 
diff --git a/gi-javascriptcore.cabal b/gi-javascriptcore.cabal
--- a/gi-javascriptcore.cabal
+++ b/gi-javascriptcore.cabal
@@ -1,6 +1,6 @@
 -- Autogenerated, do not edit.
 name:               gi-javascriptcore
-version:            0.2.10.12
+version:            0.2.10.13
 synopsis:           JavaScriptCore bindings
 description:        Bindings for JavaScriptCore, autogenerated by haskell-gi.
 homepage:           https://github.com/haskell-gi/haskell-gi
@@ -14,8 +14,8 @@
 
 library
     default-language:   Haskell2010
-    default-extensions: OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
-    other-extensions:   PatternSynonyms ScopedTypeVariables, ViewPatterns
+    default-extensions: ScopedTypeVariables, CPP, OverloadedStrings, NegativeLiterals, ConstraintKinds, TypeFamilies, MultiParamTypeClasses, KindSignatures, FlexibleInstances, UndecidableInstances, DataKinds, FlexibleContexts
+    other-extensions:   PatternSynonyms ViewPatterns
     ghc-options:        -fno-warn-unused-imports -fno-warn-warnings-deprecations
     exposed-modules:    GI.JavaScriptCore.Types
                         GI.JavaScriptCore
@@ -25,7 +25,7 @@
                         GI.JavaScriptCore.Structs.Value
     pkgconfig-depends:  javascriptcoregtk-4.0 >= 2.10
     build-depends: base >= 4.7 && <5,
-        haskell-gi-base >= 0.12 && < 1,
+        haskell-gi-base >= 0.13 && < 1,
         bytestring >= 0.10,
         containers >= 0.5,
         text >= 1.0,