add missing (c) header