make it more obvious that the GCM bugs are with the C backends