Thanks to Jon and Petr for getting Wesnoth fixed for release!