Fix broken fsys_getppid()