File arguments to filesequence.open