Make C compiler happy