a bash script to rename the tables in a wordpress mysql database