g++-4.3-4 seem to have landed on arm, please reschedule widelands that was suffering from a g++ segmentation fault. Cheers -- Enrico Tassi