Fix compile time warnings with GCC