fix #4239 (make gcc >=4.6 a requirement at configure time)