add PPC cases to SDK's stdio.h, temporarily use system SDK for building