Convert pico.mk to marvel.mk