python: posix needs to be builtin