Added a missing header for linux