Making the other GCC happy