Make explicit casts in headers.