Actually include a required header