We should add an option for arbitrary filename.