Automatic merge from submit-queue

Add note to development guide regarding GNU tools versions


…especially on Mac OS X.