Yeah, that makes sense. I opened an issue for this: https://github.com/zerovm/toolchain/issues/15