Disambiguate replica.cpp.