update library versions in cabal
Extract bindings out of interface file if they are inlineable after a
certain phase