'idris' is a group, name the checker idris-checker instead fixes #258

I had the same issue and this works for me.