Silence warnings from gcc