Build server maintenance - Fri Oct 25