Add missing header for Linux.