On 02/29/2016 01:52 PM, Philipp Stephani wrote:
>  What's the status of this? Could one of the patches get merged into 
> master? Thanks.

Thanks for reminding us. I looked into this.  How about if I install the 
attached pair of patches to start with?  The first is yours, the second 
attempts to make it a bit more build-friendly by making it a runtime 
switch rather than a compile-time flag. Also, I negated the sense of the 
switch, since making a build deterministic is the same as disabling some 
minor features.