Installing an extension installs its dependencies; fixes #380.