Fixes pthread exit with -O2
[akaros.git] / README