Fixed a bug in fzn_path.