Fix breakage due to lack of headers.