On the other hand master build works for me. The vanilla branch often contains intermittent errors because it merges bleeding edge git snapshots so I am not overly concerned.