rename file of mysql