Fix IDRIS2_BOOT_PATH
Fix IDRIS2_BOOT_PATH

I don't know why I removed network, it's still needed...

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm