Fix GCC 4.7