add missing header for gcc build