Re: [webkit-dev] Linux Port: time problem