Add missing header for linux build