Make gcc47 happy