Add a workaround for ccache bug 8118.
Fix buildbot config.