default to gcc 4.1.1 for the rb532 again