Test for #1372: Misleading errors when source file names clashes