Fix #9578: This time also for dot files