Force a rerun when pressing F4 in LaTeX