erlenv setup script for /etc/profile.d