adjustment for gcc47