Making build servers run serially