Moving things to posix-dots