a php shell script to alter mysql tables engine