remove nonexistent include, add missing include