stop polluting 3ds headers with extra system headers