pushed to gcc 4.6