printf hack in unixext