Add Linux symbols