Can we pick the filename from `@options`.  I don't think there's a good default place.