fixup for g++/linux