nokia: better filenames for dumped JPEGs.