coll-file
Specifies the name of the collision file to be written.
# coll-file(command-line) == # (base name from command-line) + COLL_EXTENSION