Small fix for weird buffering issue

This is a fix for a weird issue that I don't know that we need to hold back the release for, since it appears to me to be very limited in scope. We could put it into the new release, but I am not too bothered, as I can easily fix driver.makefile on my local machine.