[PATCH 07/11] Disable a pointless override warning.