mix compile.speck (speck v4.0.1)