let-def/minesweeper not found