ports/games/xboard/patches
