Don't hardcode filenames into savemap.pl.