Extras build system maintenance Monday 10/17