Commit 71cd91e4 changed "latest from git" to 'master' from former 'develop'. Build dependencies still pointed to @develop, though
71cd91e4