Restore an accidentally deleted #include