RSSyl: Re-add a mistakenly deleted #include.