make Coppersmith work for extraCoins in GameView