narrow the DefaultFileToSave type