Added missing header for Linux