Am 14.09.2013 22:30, schrieb John Colvin:

It seems that -debug is always passed unless "noDefaultFlags" is used, which is not supposed to be used for releases. Is there a good reason for this?

No, that's a bug. I'll look into it.