bash -> profile exports