Fix conflicting filename.