Fix TMinaServer for more arguments