Make -num_threads configurable in env.sh