Tweak file list for geiser (see #1040)