Forge: Disallowing path manipulation attempt | LeanZero