Proverif directory not taken into account when adding automated security