Fix envrc file