This is very likely a bug in envy then. We could add some code to the update-manager to refuse a upgrade if envy is used, but I have no experience with envy.
This is very likely a bug in envy then. We could add some code to the update-manager to refuse a upgrade if envy is used, but I have no experience with envy.