They could even just call it GNU is now UNIX.

It was Stallman who came up with the name POSIX by the way.