fixup a warning being treated as error on jenkins

(int compared with size_t)
Merge branch 'master' of git://github.com/wesnoth/wesnoth