Fix the other clashing test output
Fix the other clashing test output

I don't understand the difference here - there's probably a commit I
hadn't merged earlier that affected the name generation.

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