Martin Hecht wrote: > > I have tested it on a few linux platforms I have at hand:
thanks. > PS: just let me know when you have a testing environment which makes > this input obsolete I don't think that will ever really happen. Even building for the same platform, say Ubuntu 14, one test server can be configured differently than another test server. Ideally there wouldn't be too much variation, but more people testing is always better than fewer.