It is amazing that 9GB of disk space is a problem these days. You can fit that on a USB key now! 😀 Hopefully the batching process works successfully and for a long time and you can still continue to meet your build window.