RE: another Linux compilation problem?