The bot uses gcc version 4.7.2 (Debian 4.7.2-5). I get the same error when I try gcc version 4.7.3 (Ubuntu/Linaro 4.7.3-12ubuntu1). So probably all you need is any 4.7 to see the issue and debug it.