On 07/08/2016 08:52 AM, Christophe Varoqui wrote: > Patches 1 and 2 are merged. > I commited a patch to delete DIRECTIO and TUR checker_name > settings to replace patch 3 and 4. You should also have deleted these lines: " .checker_name = DEFAULT_CHECKER," x3 I will send a path.