Fix bootstrap
Fix bootstrap

This was broken in #425, because Idris2-boot hasn't implemented the
fix for #116

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