replace_object.c: rename to use dash in file name