Our file names need extensions.