Re: [Dev-luatex] Potential race condition in makefiles