Fix .jenvrc setup