replace an unnecessary GNU C function attribute