Update dependencies for GateIn
Merge commit 'e635d340303346eaa9557b498acf81f3799b393b' into HEAD