switch rb532 to the old gcc again. 4.1.1 is suddenly causing trouble...