Fix Latexmk-sentinel