make recent g++ happy