Remove a no-longer-used include.