Hi, I pushed make-4.0-gbuild to dev-tools some minutes ago. It compiled fine for me under Windows and Linux and the build on Windows started fine. Please feel free to test it. First I wanted to upload it to gerrit, but due to missing Change-Ids in the commits it was not possible... Thomas