fix compile with GCC 4.7