Re: [PATCH] time library fix for PowerPC