Fix conflicting filename in build.