zippy/sudokusolver not found