Make GCC happy