minor changes in ViennaIPD's cmakelists