olafvisker/kripkecheck not found