Properly installing autoenv and fixing some linux installs