Add envy as environmental dep