added missing header for Linux