I compiled it without optimizations yesterday but I did not yet install it on the device until now. I guess it may be some optimization made with the libstdc++ on scratchbox, different than the one on the device.