pipe delimited file extension