We're gonna use minicm4pico from now on!

We're gonna use minicm4pico from now on!