Make newest GCC happy