Update ps8posix.h

... after renaming the repo.