BugFix: file rename with dots in name

The code considered anything after a dot as file extension. So something
like "file.with.dots.in.name.txt" would be "file.[aabbcc].txt"