Added missing header for Linux.