bug fix for new gcc