Install autoenv from git rather than pip, since it didn't work to well.