some bits to get gcc48 to compile