Add missing header on Linux