added FileAppendPrintf