-fprintf(stderr, "Runtime error: %s (%s:%d)\n", "Uninitialized attribute @div_by_zero_phase", "src/div_by_zero.nit", 26);
+fprintf(stderr, "Runtime error: %s", "Uninitialized attribute @div_by_zero_phase");
+fprintf(stderr, " (%s:%d)\n", "src/div_by_zero.nit", 26);