Do not use direnv anymore