Update ps8posix.c

... after renaming the repo.