The program is wrong because it assumes time_t==int. On Linux/Alpha, time_t is a long.
Oops, silly me. Sorry to have bothered all of you with such a dumb question.
Thanks for the quick reply.