Include a missing header.