fix a filename conflict problem