Fixing ndn-platform