Creating a file whose name is known only at runtime