Symbol: Opt_posixpaths