additional typecheck with gcc (if available)