linux-next 3.11.5, cloog 0.18.1, curl 7.33.0