Fix --check-extern hint