Port to gcc 4.5