more deps
Merge branch 'vzy2_dev' of github.com:frenetic-lang/frenetic into HEAD
Merge branch 'vzy2_dev' of github.com:frenetic-lang/frenetic into vzy2_dev