The convertLogInnoDB.sh script replaces this one.