offer setting of file extension