Gauss v60 will need to set number of threads and so this needs to be propagated from json to options file.
cc: @gcorti, @mwhitehe