kicksat/gr-kicksat2 not found