Silence unused parameter warnings from gcc 4.8