restrict irmin to cohttp<0.12.0