rename the migration back to its former name (with auto) to avoid problems for people who already run it