pkgsrc/games/widelands/patches