codegen-posix: rename some stuff.