hamachi: fix a path name