renamefile
{ "rename", renamehelp, 0, 1, 1, renamefile },
extern void renamefile(int argc, char *argv[]);