The compiler was broken, we fixed the printf linking