Update to use updated minicm4pico repos