Update and rename mich.cpp to michio.cpp