only run if erlenv is not already installed