Fix compilation in Linux: added missing header