make convertDoc work on ubuntu as well.