moveifchanged
void moveifchanged(const char *, const char *);
moveifchanged(path("config.c.new"), path("config.c"));
moveifchanged(path("ioconf.c.new"), path("ioconf.c"));
moveifchanged(path("Makefile.new"), path("Makefile"));