refining UNIX