Fix docker setup

The generated .envrc file would be different for os x or linux