increase the default number of used threads to 12