Don't re-add galaxy deps if they've already been added for install

Fixes #8890