Reverted scripts/proxy to remove terminal exports because you can not export from a child to a parent shell. Duh!