Mica dev VM is built from GitHub master branch