remove extra dots in filenames. Fixes #2