New patch for SDK build process to fix problems with ccache.