These appear to not technically be needed, but explicitly including these
headers ourselves makes the code make slightly more sense.