Useless keeping of dirpath in tactic aliases.