> mattered. I had assumed that "pool_size.progname" always won > over pool_size It is the general kpathsea rule: first match wins. Same for search paths. Thomas