file() now accepts PAUSEID/Distribution.ext (as well as P/PA/PAUSEID/Distribution.ext)