* make old g++ happy