mjthreadpool2 to mjthreadpool
mjopt2 to mjopt