Port PrologFlags patch to v13.12.0 pre2