We do not write to .depend during the common 'depend' target, because computing dependencies requires Menhir installed.